AMPTE: British component fails

Collisionless Coupling in the AMPTE Artificial Comet

Analysis of previously reported observations of the solar wind-barium interaction associated with the AMPTE artificial comet release of December 27, 1984, is presented. On the basis of these results we argue that the solar wind couples momentum (and energy) to the barium ions through both laminar and turbulent processes. The laminar forces acting on the particles are the laminar electric and ma...

When Bellman's Principle Fails

We present several examples which show that the well known statements about Markov Decision Processes can fail if the loss function is not bounded.

When Sharing Fails

When Abstraction Fails

Reasoning about programs is mostly deduction: the reasoning from the abstract model to the concrete run. Deduction is useful because it allows us to predict properties of future runs—up to the point that a program will never fail its specification. However, even such a 100% correct program may still show a problem: the specification itself may be problematic, or deduction required us to abstrac...

RoCE Fails to Scale

The authors then attempt to patch together pieces from Ethernet and DCTCP into a sideband congestion control scheme (DCQCN). However, DCQCN remains an unsuccessful attempt to address the issues, as it continues to require the same blunt pause mechanisms that expose the network to congestion collapse. Thus, the paper serves as a proof that the RoCE idea of airlifting the “incompatible InfiniBand...